Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
71	c ACM, 2008. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Higher-order functions Programming language comparisons Concurrent programming languages Functional languages Curry Fold Monad Constraint
72	Original version appeared in the 15th International Symposium on Principles and Practice of Declarative Programming (PPDPEngineering Definitional Interpreters (Extended Version) Jan Midtgaard Norman Ramsey Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2013-08-05 10:01:35 Logic in computer science Greek letters Denotational semantics Eval Lua Normal distribution San Semantics
73	Deriving a Relationship from a Single Example Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Monad Fold Scheme
74	Bayesian Network Inference Approach to probe Foodweb interactions between herring and zooplankton in the Irish Sea Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Literate programming Functional programming Monad Haskell Inline expansion First-order logic
75	c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN Add to Reading List Source URL: ndmitchell.com Language: English Software engineering Declarative programming Lambda calculus Computer programming Functional programming A-normal form Let expression Fixed-point combinator Exponentiation Expression Monad Anonymous function
76	Monadic Translation of Multi-Staged Languages Ludovic Patey Kwangkeun Yi Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:57 Software engineering Computer programming Declarative programming Functional programming Models of computation Monad Substitution Lambda calculus
77	Containers and Aggregates, Mutators and Isolates for Reactive Programming Aleksandar Prokopec Philipp Haller Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-07-29 07:43:08 Software engineering Computer programming Declarative programming Functional programming Evaluation strategy Programming paradigms Lambda calculus Functional languages Reactive programming Functional reactive programming Scala Ur
78	ROSAEC MEMO ROSAECSeptember 6, 2011 CPS Transformation of Lisp-Like Multi-Staged Languages Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:44 Software engineering Logic Declarative programming Models of computation Computability theory Lambda calculus Theoretical computer science Continuation-passing style Free variables and bound variables Substitution
79	Reprinted from the 15th International Symposium on Principles and Practice of Declarative Programming (PPDPEngineering Definitional Interpreters Jan Midtgaard Norman Ramsey Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2014-07-24 14:58:46 Computing Software engineering Software Greek letters Denotational semantics Logic in computer science Lua Normal distribution San String
80	Loosing Functions Without Gaining Data Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Subroutines Lambda calculus Functional programming Fold Recursion Anonymous function Inline expansion Term

UPDATE